{theorem}, {lemma}, {corollary}, and
{proposition}. These are all numbered in the same
sequence and produce labels in small caps with an italic
body. Other environments may be specified by the
\newtheorem command.
Proofs are handled with the \begin{proof}
\end{proof} environment. A ``QED'' box is created
automatically by \end{proof}, but this should be
preceded with a \qquad.
Named proofs, if used, must be done independently by the authors. SIAM style specifies that proofs which end with displayed equations should have the QED box on line with the equation flush right. Below is an example of how this can be done:
{\em Proof}. Proof of the previous theorem
.
.
.
thus,
$$
a^2 + b^2 = c^2 \eqno\endproof
$$
Note that the above will not work if the equation is in an
{eqnarray} or numbered. In those instances, just include the
\endproof command and SIAM will handle making the box
flush right in production.